semiconductor semiconudctor company ard navigation meillon equipment fernsehen formal methods implied intent hierarchical pcb model checking electronic magellan rtl gps verification testing electronics garmin